Enfoque al ahorro de energía en la conducción de ferrocarriles utilizando el método múltiple de restricción de la optimización

El ahorro de la energía consumida no es un tema menor en el sector ferroviario. Las infraestructuras ferroviarias y los planes operativos implicados en distintos sistemas como el metropolitano, trenes locales, larga distancia y alta velocidad, deben ser realizados teniendo en cuenta las múltiples alternativas para alcanzar un sistema de optimización en el ahorro de energía. Para conseguir alcanzar la mejor solución final, las alternativas deben recoger y trabajar con el máximo de variables asociadas al movimiento del tren y a los planes de operación. El método presentado aquí usa una solución semianalítica que conlleva una discretización del problema, para posteriormente aplicar el método de los Multiplicadores de Lagrange para resolver la optimización de las n-tuplas de velocidad. Con esta alternativa propuesta, es posible incluir todos los detalles sobre las operaciones del tren, como restricciones en el horario o tipos de frenado.

Diseño de un Modelo Metodologico para la Fase de Prospectiva en los Estudios de Ordenamiento Territorial y su Aplicación a Algunos Casos Centroamericanos

La prospectiva, es un conjunto de análisis con el fin de explorar o predecir el futuro; “se puede concebir como una realización múltiple” (Jouvenel, 1968) y “depende de la acción del hombre” (Godet, 2004); por esa razón, el hombre puede construir el futuro mejor, para lo cual debe tomar las decisiones correctas en el momento apropiado. En ordenamiento territorial, la prospectiva, constituye una fase intermedia, entre el diagnóstico y la propuesta, y se refiere a la predicción del futuro, mediante dos vías: la proyección de la tendencia y la construcción de escenarios o imágenes futuras; se denomina escenario, a la descripción de una situación territorial futura y el encadenamiento coherente de sucesos que, partiendo de la situación actual, llega a la futura (Gómez Orea, 2008); pueden identificarse múltiples escenarios por la combinación de variables; no obstante, esta tesis se centra en el diseño de tres: el tendencial, el óptimo por analogías con otros territorios a los que se desee aspirar, y uno intermedio entre los anteriores, que parte del consenso de la mayoría de voluntades políticas y ciudadanas. Existen escasas experiencias metodológicas, y en especial, aplicables a los planes de ordenamiento territorial de Centroamérica. En la mayoría de casos estudiados, se identifica la participación como herramienta básica en el diseño de los escenarios; un modelo exclusivamente técnico está abocado al fracaso. En la tesis se diseña una metodología para elaborar la fase de prospectiva en los planes de ordenamiento territorial de Centroamérica; se entiende como un metamodelo, es decir, un "modelo general formado por submodelos específicos"; además del modelo general, se diseñan los submodelos: demográfico, ambiental, poblamiento y económico; para la elaboración de los mismos se usan herramientas; algunas han sido definidas por investigadores y otras se diseñan en este trabajo. Se establece un orden de prelación para el desarrollo de los submodelos; no se recomienda la alteración del mismo, pues el resultado será distinto y erróneo. Se inicia con el submodelo demográfico; se analizan cuatro variables: población total, población distribuida en municipios, población urbana y rural, y población por edades y sexos. Se propone que el cálculo de la población total se determine por métodos clásicos, tasas de crecimiento o cohortes. Posteriormente se realiza la distribución en municipios, urbana‐rural y en los asentamientos; en el escenario tendencial se proyecta por cohortes o tasas de crecimiento, y en el óptimo e intermedio, se considera un análisis de los limitantes al desarrollo urbano, priorizando la distribución de unos municipios y núcleos con respecto a otros. Con la proyección demográfica se desarrolla el submodelo ambiental; se consideran las variables: usos del suelo, unidades ambientales con los usos del suelo predominantes, áreas naturales protegidas, y áreas de amenazas naturales; estas últimas son sumamente importantes en el territorio centroamericano, dada la vulnerabilidad existente; para la proyección de los usos del suelo predominantes se diseña una herramienta donde se establecen los usos del suelo según unidades ambientales en diferentes escenarios, aplicando imágenes multitemporales y la capacidad de acogida del territorio. Una vez definidos los anteriores, se proyecta el submodelo de poblamiento; se proponen: el tamaño, la clasificación, la superficie, la diferenciación y agrupación de los asentamientos; se define el sistema de asentamientos a partir de las variables demográficas y ambientales; para ello se aplica un análisis multivariable‐multicriterio donde se establece la jerarquía de los núcleos de población, y posteriormente se establece la superficie que ocuparan y su forma. A continuación, se propone la prospectiva del submodelo económico, en cuanto a las variables: población económicamente activa (PEA), producción, empleo, desglose por sectores económicos, y la zonificación de suelos de desarrollo económico; luego se añade la prospectiva del submodelo de infraestructuras. Finalmente, se procede a la representación cartográfica, mediante el uso de herramientas SIG (Sistemas de Información Geográfica); para la representación de los escenarios se diseñan mapas, que sean fácilmente comprensibles por los líderes políticos, actores socioeconómicos y por la ciudadanía ("clientes" finales del plan). La metodología de investigación se ha basado en ciclos repetitivos de observación de la realidad en trabajos profesionales, elaboración del modelo y submodelos y verificación posterior mediante su aplicación a casos reales. En consecuencia los submodelos anteriores se han ido desarrollando y verificando en la elaboración de numerosos planes en Centroamérica, de los cuales en la tesis se exponen los dos más expresivos: El Plan de Desarrollo Territorial de la Región de San Miguel, en El Salvador y El Plan de Ordenamiento Territorial de la Región del Valle del Lean, Honduras. El modelo no es aplicable íntegramente a otros territorios; se ha diseñado considerando las características centroamericanas: fuerte crecimiento poblacional, tenencia de la tierra, crecimiento lineal en las principales carreteras, cultivos de autoconsumo (granos básicos) en laderas y montañas, vulnerabilidad ante las amenazas naturales, bajo nivel de tecnificación, entre otras. El modelo posibilita realizar análisis de sensibilidad y el diseño de múltiples escenarios por combinación de variables, dado que se plantean ecuaciones y algoritmos que usan diferentes hipótesis; las limitantes son el tiempo y la disponibilidad de recursos, algo escaso en la redacción de los planes de ordenamiento territorial. Finalmente, la tesis constituye una aportación a los planificadores; espero que ello contribuya a profundizar en este interesante campo de actividad.

El Viaje a la Costa del Sol (1959-1969): Proyecto y transformación en los inicios del turismo moderno.

Fundamentos de la Tesis La presente Tesis investiga acerca de las primeras arquitecturas que surgieron a lo largo de La Costa del Sol con motivo de la apertura al exterior de la España turística de los años cincuenta, y cómo su implantación iba a suponer, a lo largo de la segunda mitad del siglo, la paulatina aparición de modos de vida y desarrollos urbanos que pueden ser considerados hoy día como contemporáneos. El Pacto Americano de 1953, pese a su origen militar, supuso en España el surgimiento a su vez de contraprestaciones económicas y de relación que permitirían salir al país de la autarquía y el inicio de un proceso de homologación con el entorno occidental de consecuencias imprevisibles. La Costa del Sol nace de esta manera como fenómeno de explotación turística de un territorio de paisaje amable y de buen clima. La investigación profundiza en el hecho turístico y en sus derivaciones antropológicas, sociales, económicas y culturales como resultado del intercambio de poblaciones autóctonas y lejanas en un lugar donde se relacionan diferentes modos de vida. En este sentido, la visita de Dalí a Torremolinos en 1930 permite introducir en la investigación conceptos relacionados con el azar como integrador de errores, deformaciones o transformaciones no previstas. Estas primeras arquitecturas de llamativo corte moderno aparecieron durante la década entre 1959 y 1969, en el entorno virgen preexistente, comprendido entre la playa y la montaña, proporcionando densidad y singularidad con sus diseños, y alentando un carácter de multiplicidad desde sus propios modelos, lo que favorecería un fenómeno interactivo entre las distintas soluciones. Visto desde la capital del Estado se reconocería un singular territorio supra-provincial entre el Cabo de Gata y la Punta de Tarifa. En dicho territorio, una serie de pequeñas poblaciones se enlazarían a través del cordón litoral gracias a la carretera nacional 340. Esta primera arquitectura comercial privada y de calidad surgió también gracias a la conexión del aeropuerto de Málaga con el turismo internacional. Gracias a esta conexión se exhibirán rasgos pertenecientes a la cultura arquitectónica de la época, a lo moderno, como reclamo, fundamentalmente edifi cios exóticos que mostrarán rasgos de progreso en una periferia empobrecida y rural. Metodología empleada • Búsqueda de fuentes primarias como documentación original de los diferentes proyectos y entrevistas con arquitectos protagonistas de esa época. • Búsqueda, catalogación y ordenación de los diferentes planes de ordenación de la Costa del Sol que se hicieron durante la década de estudio así como un análisis de sus propuestas y consecuencias. • Estudio de casos relativos a los dos modelos de actuaciones arquitectónicas predominantes en el periodo de estudio: los hoteles y los complejos de apartamentos. • Establecimiento de un planteamiento gradual por escalas, trabajando como “múltiplos” y permitiendo generar lazos de autosimilitud. • Análisis de la relación de estos proyectos con el paisaje circundante, con lo urbano, existiese o no, y con el interior de las células de apartamentos. Aportaciones de la Tesis El fenómeno estudiado ha permitido atisbar otra escala más, que atiende a la aparición de un nuevo ente urbano. Para ello las teorías sobre la ciudad vertidas durante los años 30 por F. Ll. Wright, junto con la visión reveladora de Reyner Banham sobre Los Ángeles a principios de los 70 o de Rem Koolhaas sobre la ciudad genérica como apoteosis del concepto de elección múltiple, permiten establecer parámetros que enmarcan el estudio del nuevo ente urbano de difícil legibilidad que se funda en la Costa del Sol durante la década de los 60. La investigación concluye acerca del papel de estas primeras arquitecturas del turismo dentro del proceso dinámico, imparable y crecedero que se inició durante la época de estudio. Un fenómeno que ha dado lugar a un desarrollo suburbial y a-jerárquico, sin centro concreto, donde se dan lugar multitud de relaciones en continua adaptación que permiten defi nirlo como una nueva ciudad. En este proceso estas primeras arquitecturas surgieron como objetos exóticos por su modernidad desafi ante. Esta cualidad convirtió a estos edifi cios en verdaderos atractores de actividad, embajadores de nuevos modos de vida contemporáneos. Por lo que en sus entornos próximos a lo largo de este territorio se provocó la cristalización paulatina de un hecho urbano. Su evolución posterior ha derivado en un progresivo relleno de huecos y vacíos. De manera no planifi cada, azarosa e incluso inesperada, las primeras arquitecturas, que servían a la vida a medias que supone el hecho turístico, han derivado en una paulatina ciudad completa, exenta de jerarquías. Conclusión final La arquitectura se hace más real que nunca como algo tangible en el fl uir de la ciudad. El proceso imparable que se inició en la Costa del Sol sólo puede comprenderse desde sus arquitecturas, que acogen momentos y lugares. En ellas se entremezclan signos, cultura, modos de vida, estilo, construcción, economía y vida contemporánea que han ido colonizando poco a poco este territorio en un proceso irreversible como en tantos otros lugares del planeta. Este proceso de desvelamiento ha constituido el motivo principal de esta Tesis

Nueva época, viejos conflictos: ciudades y teorías urbanas en la encrucijada

En 1997, al abrir la primera época de Urban, Fernando de Terán se hizo eco de una vieja leyenda asociada a la reconstrucción de Londres tras el Gran Incendio de 1666 para vaticinar buen augurio a un urbanismo renaciente. Según ésta, Christopher Wren encontró un fragmento de lápida con la palabra ‘resurgam’ (‘resurgiré’) entre los escombros de San Pablo; interpretándolo como una señal, el arquitecto hizo labrar esta palabra bajo un fénix en el pórtico sur de la nueva catedral. Esta imagen permitía a Terán ilustrar metafóricamente la situación del planeamiento en la encrucijada de un momento histórico en el que confluían un nuevo panorama disciplinar a nivel internacional y la salida de la crisis posterior a 1992 en España: superando un largo período de deslegitimación pública y crítica desde el interior de la profesión, el planeamiento volvía en ese momento a resurgir como técnica y discurso necesario ante el despliegue de formas más complejas de desarrollo territorial y la evidente incapacidad —y miopía— de los postulados de una ‘arquitectura sin urbanismo’ para hacer frente a las nuevas realidades socioespaciales. Como el fénix londinense, la planificación volvía a resurgir de sus cenizas para reactivar la reflexión sobre nuestros futuros urbanos. Este renacimiento debía ser necesariamente múltiple y experimental, el fruto a un tiempo maduro y joven de una larga tradición que ahora germinaba en cien —si no mil— nuevas escuelas y estilos

Cabeza de Hierro: un monte privado, ordenado y ejemplo de multifuncionalidad.

El monte “Cabeza de Hierro”, masa natural de pino silvestre, es un ejemplo de gestión forestal sostenible y de uso múltiple, y reúne ciertas particularidades que hacen muy interesante su caso. Monte privado, ha sido objeto de aprovechamientos madereros al menos desde su adquisición por sus actuales propietarios en 1840. Está ordenado desde 1957. La madera obtenida, de gran calidad, es transformada en su mayor parte en un aserradero cercano de los mismos propietarios. Generador de un considerable número de puestos de trabajo, ha tenido gran importancia en la economía local. Además de la producción de madera ha cumplido y cumple muy eficazmente numerosas funciones ecológicas y ambientales, entre las que podemos destacar la regulación del ciclo hidrológico y la protección frente a la erosión, la generación de un paisaje de gran belleza y el mantenimiento de la biodiversidad; en este sentido destacamos la presencia de una colonia nidificante de buitre negro de reconocida importancia mundial. Fue el primer caso de aplicación en España de los métodos de ordenación de tramo móvil y selvícola. En la tercera revisión de su ordenación, recientemente aprobada, se propone su gestión mediante entresaca regularizada, con cortas por bosquetes, con lo que se pretende mantener la actual estructura de masa irregular por cantones. A continuación se resumen las principales características del monte y las principales propuestas de gestión de su tercera revisión.

Estima de la composición corporal en conejos de 25 a 77 días de edad mediante la técnica de impedancia bioeléctrica (BIA).

El objetivo de este trabajo fue determinar y validar con datos independientes las ecuaciones de predicción obtenidas para estimar in vivo la composición corporal de conejos en crecimiento utilizando la técnica de impedancia bioeléctrica (BIA). Las ecuaciones se calcularon mediante un análisis de regresión múltiple a partir de las medidas de impedancia presentadas en el trabajo anterior (Saiz et al., 2011) y de otras variables independientes que fueron incluidas en el modelo, tras hacer un análisis de selección de variables, como la edad, el peso y la longitud del animal. Los coeficientes de determinación (R2) de las ecuaciones para estimar la humedad (g), la proteína (g), la grasa (g), las cenizas (g) y la energía (MJ) fueron: 0,99, 0,99, 0,97, 0,98 y 0,99, y los errores medios de predicción relativos (EMPR): 2,24, 5,99, 16,3, 8,56 y 7,81%, respectivamente. El R2 y EMPR para estimar el porcentaje de humedad corporal fueron de 0,85 y 1,98%, respectivamente. Para predecir los contenidos, expresados sobre materia seca (MS), de proteína (%), grasa (%), cenizas (%) y energía (kJ/100g), el R2 obtenido fue 0,79, 0,83, 0,71 y 0,86, respectivamente y el EMPR 4,78, 12,2, 8,39 y 3,26%, respectivamente. La reactancia estuvo negativamente correlacionada con el contenido en humedad, cenizas y proteína bruta (r=-0,32, Pmenor que0,0001; r=-0,20, Pmenor que0,05; r=-0,26, Pmenor que0,01) pero positivamente con el de grasa y energía (r=0,23 y r=0,24; Pmenor que0,01). Al contrario ocurrió con la resistencia, que estuvo positivamente correlacionada con el contenido en humedad, cenizas y proteína bruta (r=0,31, Pmenor que0,001; r=0,28, Pmenor que0,001; r=0,37, Pmenor que0,0001) pero negativamente con el de grasa y energía (r=-0,36 y r=-0,35; Pmenor que0,0001). Así mismo, la edad del animal, estuvo negativamente correlacionada con el contenido en humedad, proteína y cenizas (r=-0,79, r=-0,67 y r=-0,80; Pmenor que0,0001) y positivamente con la grasa y energía (r=0,78 y r=0,81; Pmenor que0,0001). Se puede considerar la técnica BIA como una técnica útil para estimar in vivo la composición corporal de los conejos en crecimiento de 25 a 77 días de edad.

Alternativas al desalojo masivo. Una aplicacion metodologica del desarrollo a escala humana en Pikine, Dakar (Senegal)

El artículo presenta los resultados de un estudio de caso del proyecto en curso para construir una carretera del peaje entre Dakar y Diamniadio. El proyecto forma parte de la estrategia para la reducción de la pobreza de Senegal y en 2009 fue reconocida como buena práctica por el Banco Mundial. A pesar de este reconocimiento institucional, la carretera implica el desalojo de más de 30.000 personas y por lo tanto la destrucción de sus organizaciones sociales de apoyo mutuo. Los gobiernos africanos tienden a invertir sus escasos recursos en las principales zonas urbanas. Intentan de esta manera « conectarlas con el espacio global del negocio y de flujos financieros ». La gente local se ve forzada a irse, en lo que supone una agresión múltiple: no se beneficiarán en absoluto de las inversiones y de la revalorización del precio del suelo; pierden sus vínculos con la ciudad en una localización central. Además en el prooceso se rompen los movimientos de base, pues realojarán a la gente en diversos puntos lejanos de Dakar. En este contexto de la alta vulnerabilidad, en el cual las autoridades no tienen en cuenta a los habitantes más desfavorecidos, un grupo de ciudadanos se organizó para reclamar sus derechos, intentando evitar los desalojos. La investigación analiza este caso aplicando el efoque de desarrollo a escala humana en un proceso participativo. Los resultados demuestran que existen alternativas a partir de procesos locales que permiten satisfacer de una manera sinérgica las necesidades humanas del conjunto. Se puede haccer frente a la exclusión social y a la vulnerabilidad a través de un desarrollo endógeno. Si las instituciones se implican en el proceso podrían a su vez aumentar su legitimidad.

Modular extensions for modular (Logic) languages

We address the problem of developing mechanisms for easily implementing modular extensions to modular (logic) languages. By(language) extensions we refer to different groups of syntactic definitions and translation rules that extend a language. Our use of the concept of modularity in this context is twofold. We would like these extensions to be modular, in the sense above, i.e., we should be able to develop different extensions mostly separately. At the same time, the sources and targets for the extensions are modular languages, i.e., such extensions may take as input sepárate pieces of code and also produce sepárate pieces of code. Dealing with this double requirement involves interesting challenges to ensure that modularity is not broken: first, combinations of extensions (as if they were a single extensión) must be given a precise meaning. Also, the sepárate translation of múltiple sources (as if they were a single source) must be feasible. We present a detailed description of a code expansion-based framework that proposes novel solutions for these problems. We argüe that the approach, while implemented for Ciao, can be adapted for other Prolog-based systems and languages.

Abstract multiple specialization and its application to program parallelization.

Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract valúes (substitutions), rather than concrete ones. We study the múltiple specialization of logic programs based on abstract interpretation. This involves in principie, and based on information from global analysis, generating several versions of a program predicate for different uses of such predicate, optimizing these versions, and, finally, producing a new, "multiply specialized" program. While múltiple specialization has received theoretical attention, little previous evidence exists on its practicality. In this paper we report on the incorporation of múltiple specialization in a parallelizing compiler and quantify its effects. A novel approach to the design and implementation of the specialization system is proposed. The resulting implementation techniques result in identical specializations to those of the best previously proposed techniques but require little or no modification of some existing abstract interpreters. Our results show that, using the proposed techniques, the resulting "abstract múltiple specialization" is indeed a relevant technique in practice. In particular, in the parallelizing compiler application, a good number of run-time tests are eliminated and invariants extracted automatically from loops, resulting generally in lower overheads and in several cases in increased speedups.

A static heap analysis for shape and connectivity: Unified memory analysis: The base framework

Modeling the evolution of the state of program memory during program execution is critical to many parallehzation techniques. Current memory analysis techniques either provide very accurate information but run prohibitively slowly or produce very conservative results. An approach based on abstract interpretation is presented for analyzing programs at compile time, which can accurately determine many important program properties such as aliasing, logical data structures and shape. These properties are known to be critical for transforming a single threaded program into a versión that can be run on múltiple execution units in parallel. The analysis is shown to be of polynomial complexity in the size of the memory heap. Experimental results for benchmarks in the Jolden suite are given. These results show that in practice the analysis method is efflcient and is capable of accurately determining shape information in programs that créate and manipúlate complex data structures.

Removing superfluous versions in polyvariant specialization of prolog programs.

Polyvariant specialization allows generating múltiple versions of a procedure, which can then be separately optimized for different uses. Since allowing a high degree of polyvariance often results in more optimized code, polyvariant specializers, such as most partial evaluators, can genérate a large number of versions. This can produce unnecessarily large residual programs. Also, large programs can be slower due to cache miss effects. A possible solution to this problem is to introduce a minimization step which identifies sets of equivalent versions, and replace all occurrences of such versions by a single one. In this work we present a unifying view of the problem of superfluous polyvariance. It includes both partial deduction and abstract múltiple specialization. As regards partial deduction, we extend existing approaches in several ways. First, previous work has dealt with puré logic programs and a very limited class of builtins. Herein we propose an extensión to traditional characteristic trees which can be used in the presence of calis to external predicates. This includes all builtins, librarles, other user modules, etc. Second, we propose the possibility of collapsing versions which are not strictly equivalent. This allows trading time for space and can be useful in the context of embedded and pervasive systems. This is done by residualizing certain computations for external predicates which would otherwise be performed at specialization time. Third, we provide an experimental evaluation of the potential gains achievable using minimization which leads to interesting conclusions.

Abstract specialization and its application to program parallelization

Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract valúes (substitutions), rather than concrete ones. This paper reports on the application of abstract múltiple specialization to automatic program parallelization in the &-Prolog compiler. Abstract executability, the main concept underlying abstract specialization, is formalized, the design of the specialization system presented, and a non-trivial example of specialization in automatic parallelization is given.

Implementation of multiple specialization in logic programs

We study the múltiple specialization of logic programs based on abstract interpretation. This involves in general generating several versions of a program predícate for different uses of such predícate, making use of information obtained from global analysis performed by an abstract interpreter, and finally producing a new, "multiply specialized" program. While the topic of múltiple specialization of logic programs has received considerable theoretical attention, it has never been actually incorporated in a compiler and its effects quantified. We perform such a study in the context of a parallelizing compiler and show that it is indeed a relevant technique in practice. Also, we propose an implementation technique which has the same power as the strongest of the previously proposed techniques but requires little or no modification of an existing abstract interpreter.

Constructs and evaluation strategies for intelligent speculative parallelism - armageddon revisited

This report addresses speculative parallelism (the assignment of spare processing resources to tasks which are not known to be strictly required for the successful completion of a computation) at the user and application level. At this level, the execution of a program is seen as a (dynamic) tree —a graph, in general. A solution for a problem is a traversal of this graph from the initial state to a node known to be the answer. Speculative parallelism then represents the assignment of resources to múltiple branches of this graph even if they are not positively known to be on the path to a solution. In highly non-deterministic programs the branching factor can be very high and a naive assignment will very soon use up all the resources. This report presents work assignment strategies other than the usual depth-first and breadth-first. Instead, best-first strategies are used. Since their definition is application-dependent, the application language contains primitives that allow the user (or application programmer) to a) indícate when intelligent OR-parallelism should be used; b) provide the functions that define "best," and c) indícate when to use them. An abstract architecture enables those primitives to perform the search in a "speculative" way, using several processors, synchronizing them, killing the siblings of the path leading to the answer, etc. The user is freed from worrying about these interactions. Several search strategies are proposed and their implementation issues are addressed. "Armageddon," a global pruning method, is introduced, together with both a software and a hardware implementation for it. The concepts exposed are applicable to áreas of Artificial Intelligence such as extensive expert systems, planning, game playing, and in general to large search problems. The proposed strategies, although showing promise, have not been evaluated by simulation or experimentation.

Abstract Interpretation-based verification/certification in the ciaoPP system

CiaoPP is the abstract interpretation-based preprocessor of the Ciao multi-paradigm (Constraint) Logic Programming system. It uses modular, incremental abstract interpretation as a fundamental tool to obtain information about programs. In CiaoPP, the semantic approximations thus produced have been applied to perform high- and low-level optimizations during program compilation, including transformations such as múltiple abstract specialization, parallelization, partial evaluation, resource usage control, and program verification. More recently, novel and promising applications of such semantic approximations are being applied in the more general context of program development such as program verification. In this work, we describe our extensión of the system to incorpórate Abstraction-Carrying Code (ACC), a novel approach to mobile code safety. ACC follows the standard strategy of associating safety certificates to programs, originally proposed in Proof Carrying- Code. A distinguishing feature of ACC is that we use an abstraction (or abstract model) of the program computed by standard static analyzers as a certifícate. The validity of the abstraction on the consumer side is checked in a single-pass by a very efficient and specialized abstractinterpreter. We have implemented and benchmarked ACC within CiaoPP. The experimental results show that the checking phase is indeed faster than the proof generation phase, and that the sizes of certificates are reasonable. Moreover, the preprocessor is based on compile-time (and run-time) tools for the certification of CLP programs with resource consumption assurances.